Shallow Binding in LISP 1.5

Key Words and Phrases: LISP 1.5, environment structures, FUNARGs, shallow and deep binding, multiprogramming, cache. CR Categories: 4.13, 4.22, 4.32 This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522.Shallow binding is a scheme which allows the value of a variable to be accessed in a bounded amount of computation. An elegant model for shallow binding in LISP 1.5 is presented in which context-switching is an environment structure transformation called "re-rooting". Re-rooting is completely general and reversible, and is optional in the sense that a LISP 1.5 interpreter will operate correctly whether or not re-rooting is invoked on every context change. Since re-rooting leaves (ASSOC X A) invariant, for all variables X and all environments A, the programmer can have access to a re-rooting primitive, (SHALLOW), which gives him dynamic control over whether accesses are shallow or deep, and which effects only the speed of execution of a program, not its semantics. So long as re-rooting is an indivisible operation, multiple processes can be active in the same environment structure. The re-rooting scheme is compared to a cache scheme for shallow binding and the two are found to be compatible. Finally, the concept of re-rooting is shown not to depend upon LISP's choice of dynamic instead of lexical binding for free variables; hence it can be used in an Algol interpreter, for example.MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agenc

A Note on the Optimal Allocation of Spaces in MACLISP

Key Words and Phrases: garbage collection, list processing, virtual memory, storage management, storage allocation, LISP. CR Categories: 3.50, 3.60, 3.73, 3.80, 4.13, 422, 4.32, 4.33, 4.35, 4.49 This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522.This note describes a method for allocating storage among the various spaces in the MACLISP Implementation of LISP. The optimal strategy which minimizes garbage collector effort allocates free storage among the various spaces in such a way that they all run out at the same time. In an equilibrium situation, this corresponds to allocating free storage to the spaces in proportion to their usage. Methods are investigated by which the rates of usage can be inferred, and a gc-daemon interrupt handler is developed which implements an approximately optimal strategy in MACLISP. Finally, the sensitivity of this method to rapidly varying differential rates of cell usage is discussed.MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agenc

Risk-shifting Through Issuer Liability and Corporate Monitoring

This article explores how issuer liability re-allocates fraud risk and how risk allocation may reduce the incidence of fraud. In the US, the apparent absence of individual liability of officeholders and insufficient monitoring by insurers under-mine the potential deterrent effect of securities litigation. The underlying reasons why both mechanisms remain ineffective are collective action problems under the prevailing dispersed ownership structure, which eliminates the incentives to moni-tor set by issuer liability. This article suggests that issuer liability could potentially have a stronger deterrent effect when it shifts risk to individuals or entities holding a larger financial stake. Thus, it would enlist large shareholders in monitoring in much of Europe. The same risk-shifting effect also has implications for the debate about the relationship between securities litigation and creditor interests. Credi-tors’ claims should not be given precedence over claims of defrauded investors (e.g., because of the capital maintenance principle), since bearing some of the fraud risk will more strongly incentivise large creditors, such as banks, to monitor the firm in jurisdictions where corporate debt is relatively concentrated

CMB Telescopes and Optical Systems

The cosmic microwave background radiation (CMB) is now firmly established as a fundamental and essential probe of the geometry, constituents, and birth of the Universe. The CMB is a potent observable because it can be measured with precision and accuracy. Just as importantly, theoretical models of the Universe can predict the characteristics of the CMB to high accuracy, and those predictions can be directly compared to observations. There are multiple aspects associated with making a precise measurement. In this review, we focus on optical components for the instrumentation used to measure the CMB polarization and temperature anisotropy. We begin with an overview of general considerations for CMB observations and discuss common concepts used in the community. We next consider a variety of alternatives available for a designer of a CMB telescope. Our discussion is guided by the ground and balloon-based instruments that have been implemented over the years. In the same vein, we compare the arc-minute resolution Atacama Cosmology Telescope (ACT) and the South Pole Telescope (SPT). CMB interferometers are presented briefly. We conclude with a comparison of the four CMB satellites, Relikt, COBE, WMAP, and Planck, to demonstrate a remarkable evolution in design, sensitivity, resolution, and complexity over the past thirty years.Comment: To appear in: Planets, Stars and Stellar Systems (PSSS), Volume 1: Telescopes and Instrumentatio

The Toxic Effects of Cigarette Additives. Philip Morris' Project Mix Reconsidered: An Analysis of Documents Released through Litigation

Stanton Glantz and colleagues analyzed previously secret tobacco industry documents and peer-reviewed published results of Philip Morris' Project MIX about research on cigarette additives, and show that this research on the use of cigarette additives cannot be taken at face value

Measurement of the mass and lifetime of the Ωb−\Omega_b^- baryon

A proton-proton collision data sample, corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by LHCb at $\sqrt{s}=7$ and 8 TeV, is used to reconstruct $63\pm9$ $\Omega_b^-\to\Omega_c^0\pi^-$, $\Omega_c^0\to pK^-K^-\pi^+$ decays. Using the $\Xi_b^-\to\Xi_c^0\pi^-$, $\Xi_c^0\to pK^-K^-\pi^+$ decay mode for calibration, the lifetime ratio and absolute lifetime of the $\Omega_b^-$ baryon are measured to be \begin{align*} \frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\ \tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the uncertainties are statistical, systematic and from the calibration mode (for $\tau_{\Omega_b^-}$ only). A measurement is also made of the mass difference, $m_{\Omega_b^-}-m_{\Xi_b^-}$, and the corresponding $\Omega_b^-$ mass, which yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2. \end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 figures, All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-008.htm

Measurement of the inelastic pp cross-section at a centre-of-mass energy of 13TeV

The cross-section for inelastic proton-proton collisions at a centre-of-mass energy of 13TeV is measured with the LHCb detector. The fiducial cross-section for inelastic interactions producing at least one prompt long-lived charged particle with momentum p > 2 GeV/c in the pseudorapidity range 2 < η < 5 is determined to be ϭ acc = 62:2 ± 0:2 ± 2:5mb. The first uncertainty is the intrinsic systematic uncertainty of the measurement, the second is due to the uncertainty on the integrated luminosity. The statistical uncertainty is negligible. Extrapolation to full phase space yields the total inelastic proton-proton cross-section ϭ inel = 75:4 ± 3:0 ± 4:5mb, where the first uncertainty is experimental and the second due to the extrapolation. An updated value of the inelastic cross-section at a centre-of-mass energy of 7TeV is also reported

Study of J /ψ production in Jets

The production of J/ψ mesons in jets is studied in the forward region of proton-proton collisions using data collected with the LHCb detector at a center-of-mass energy of 13 TeV. The fraction of the jet transverse momentum carried by the J/ψ meson, z(J/ψ)≡pT(J/ψ)/pT(jet), is measured using jets with pT(jet)>20 GeV in the pseudorapidity range 2.5<η(jet)<4.0. The observed z(J/ψ)distribution for J/ψ mesons produced in b-hadron decays is consistent with expectations. However, the results for prompt J/ψ production do not agree with predictions based on fixed-order nonrelativistic QCD. This is the first measurement of the pT fraction carried by prompt J/ψ mesons in jets at any experiment

Bose-Einstein correlations of same-sign charged pions in the forward region in pp collisions at √s=7 TeV

Bose-Einstein correlations of same-sign charged pions, produced in protonproton collisions at a 7 TeV centre-of-mass energy, are studied using a data sample collected by the LHCb experiment. The signature for Bose-Einstein correlations is observed in the form of an enhancement of pairs of like-sign charged pions with small four-momentum difference squared. The charged-particle multiplicity dependence of the Bose-Einstein correlation parameters describing the correlation strength and the size of the emitting source is investigated, determining both the correlation radius and the chaoticity parameter. The measured correlation radius is found to increase as a function of increasing charged-particle multiplicity, while the chaoticity parameter is seen to decreas

Study of charmonium production in b -hadron decays and first evidence for the decay Bs0

Using decays to φ-meson pairs, the inclusive production of charmonium states in b-hadron decays is studied with pp collision data corresponding to an integrated luminosity of 3.0 fb−1, collected by the LHCb experiment at centre-of-mass energies of 7 and 8 TeV. Denoting byBC ≡ B(b → C X) × B(C → φφ) the inclusive branching fraction of a b hadron to a charmonium state C that decays into a pair of φ mesons, ratios RC1C2 ≡ BC1 /BC2 are determined as Rχc0ηc(1S) = 0.147 ± 0.023 ± 0.011, Rχc1ηc(1S) =0.073 ± 0.016 ± 0.006, Rχc2ηc(1S) = 0.081 ± 0.013 ± 0.005,Rχc1 χc0 = 0.50 ± 0.11 ± 0.01, Rχc2 χc0 = 0.56 ± 0.10 ± 0.01and Rηc(2S)ηc(1S) = 0.040 ± 0.011 ± 0.004. Here and below the first uncertainties are statistical and the second systematic.Upper limits at 90% confidence level for the inclusive production of X(3872), X(3915) and χc2(2P) states are obtained as RX(3872)χc1 < 0.34, RX(3915)χc0 < 0.12 andRχc2(2P)χc2 < 0.16. Differential cross-sections as a function of transverse momentum are measured for the ηc(1S) andχc states. The branching fraction of the decay B0s → φφφ is measured for the first time, B(B0s → φφφ) = (2.15±0.54±0.28±0.21B)×10−6. Here the third uncertainty is due to the branching fraction of the decay B0s → φφ, which is used for normalization. No evidence for intermediate resonances is seen. A preferentially transverse φ polarization is observed.The measurements allow the determination of the ratio of the branching fractions for the ηc(1S) decays to φφ and p p asB(ηc(1S)→ φφ)/B(ηc(1S)→ p p) = 1.79 ± 0.14 ± 0.32